The Topology of Common Belief
نویسندگان
چکیده
We study the modal logic K42 of common belief for normal agents. We study Kripke completeness and show that the logic has tree model property. As a main result we prove that K42 is the modal logic of all TD-intersection closed, bi-topological spaces with derived set interpretation of modalities. Based on the splitting translation we discuss connections with S42 , the logic of common knowledge.
منابع مشابه
$L$-enriched topological systems---a common framework of $L$-topology and $L$-frames
Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...
متن کاملAnalyzing the Effect Adding an Active Feedback Network with an Inductive behavior to a Common-Gate Topology as a Transimpedance Amplifier for Low-Power and Wide-Band Communication Applications
Common Gate (CG) topologies are commonly used as the first stage in Transimpedance Amplifiers (TIA), due to their low input resistance. But, this structure is not solely used as a TIA and comes with other topologies such as differential amplifiers or negative resistances and capacitances. This paper deals with analyzing the effect of adding an active feedback network to a common gate topology...
متن کاملA New Approach of Backbone Topology Design Used by Combination of GA and PSO Algorithms
A number of algorithms based on the evolutionary processing have been proposed forcommunication networks backbone such as Genetic Algorithm (GA). However, there has beenlittle work on the SWARM optimization algorithms such as Particle Swarm Optimization(PSO) for backbone topology design. In this paper, the performance of PSO on GA isdiscussed and a new algorithm as PSOGA is proposed for the net...
متن کاملA New Topology for Interline Dynamic Voltage Restorer Based on Direct Three-Phase Converter
In this paper, a new topology for Interline Dynamic Voltage Restorer (IDVR) is proposed. This topology contains two direct three-phase converters which have been connected together by a common fictitious dc-link. According to the kind of the disturbances, both of the converters can be employed as a rectifier or inverter. The converters receive the required compensation energy from the gird thro...
متن کاملA New Topology for Z-Source Inverter Based on Switched-Inductor and Boost Z-Source Inverter
In this paper, a new topology for boost Z-source inverterbased on switched-inductor cell is proposed. The operating modes of the proposed inverter are analyzed and also a suitable control method to generate the trigger signals of the inverter is presented. Having a common earth between the input source and inverter and capability to generate a higher voltage gain by using lower amounts of the d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012